Die woordeboekbetekenis van "logiese programmering" is 'n programmeringsparadigma wat wiskundige logika gebruik om data en reëls op 'n sistematiese wyse voor te stel en te manipuleer. In logiese programmering word programme uitgedruk as 'n stel logiese stellings of reëls, en die rekenaar gebruik 'n logiese inferensie-enjin om nuwe stellings van bestaande af te lei. Logiese programmering word algemeen gebruik vir take soos kennisvoorstelling, geoutomatiseerde redenering en natuurlike taalverwerking. Sommige gewilde logiese programmeertale sluit in Prolog, Answer Set Programming en Datalog.